|
|
DCOM_01 - Logical component used interfaces delegation check |
|---|---|
| This rule checks that a Logical Component delegates its used Interface. | |
|
|
DCOM_02 - Logical component implemented interfaces delegation check |
|---|---|
| This rule checks that a Logical Component delegates its implemented Interface. | |
|
|
DCOM_03 - Terminating Function and ControlNode Allocation |
|---|---|
| This rule ensures that a leaf Function and ControlNode should be allocated by a Component. | |
|
DCOM_04 - Activity Allocation |
|---|---|
| This rule checks the allocation consistency between operational activities and Operational Entities / Roles. | |
|
|
DCOM_05 - Scenario Components Capability involvement check |
|---|---|
| This rule checks that a Component which appears in a Scenario of a Capability is also involved in the Capability. | |
|
|
DCOM_06 - Interface implementation 1 |
|---|---|
| This rule checks that an Interface is implemented by at least one Component. | |
|
|
DCOM_07 - Interface used by one sub logical componentat least |
|---|---|
| This rule checks that an interface is used by one of the sub Logical Component | |
|
|
DCOM_08 - Interface implemented by one logical component |
|---|---|
| This rule checks that an Interface is implemented by one of the sub Logical Component. | |
|
|
DCOM_09 - Interface operations number check |
|---|---|
| This rule checks that an Interface contains at least one operation. | |
|
|
DCOM_10 - Used interface delegation |
|---|---|
| This rule checks that a System delegates its used Interface | |
|
|
DCOM_11 - Activity Allocation Consistency |
|---|---|
| This rule checks the activity allocations consistency. | |
|
|
DCOM_13 - Exchange items allocation on Function Ports check |
|---|---|
| This rule generates a warning if the Function Exchange conveys some Exchange Items which are not allocated to its source ({1}) and/or its target port ({2}). | |
|
|
DCOM_14 - Implemented interface delegation |
|---|---|
| This rule checks that a System delegates its Implemented Interface. | |
|
|
DCOM_15 - Exchange item allocation consistency |
|---|---|
This rule is applied to a Component
1) Checks that all Exchange Items allocated by its Interfaces are allocated to one of Function Ports of its allocated Functions. 2) Checks that all Exchange Items allocated by Function Ports of its allocated Functions are allocated to one of its Interfaces(used/implemented/provided/required). |
|
|
|
DCOM_16 - Interface Exchange item allocation consistency |
|---|---|
| This rule is applied to an Interface and checks that all Exchange Items allocated by an Interface of a Component are allocated to one of Function Ports of its allocated Functions. | |
|
|
DCOM_17 - Function Port Exchange item allocation consistency |
|---|---|
| This rule is applied to a Function Port and checks that all Exchange Items allocated by a Function Port are allocated to one of Interfaces of its allocating Component | |
|
|
DCOM_18 - Component provided interface delegation check |
|---|---|
| This rule checks that provided interfaces are delegated to one or many subcomponents (if they exist). | |
|
|
DCOM_19 - Component required interface delegation check |
|---|---|
| This rule checks that required interfaces are delegated to one or many subcomponents (if they exist). | |
|
|
DCOM_20 - Functional Exchange delegation check |
|---|---|
| This rule generates a warning if the the source or target of an Interaction/Functional Exchange is not allocated on a leaf function. | |
|
|
DCOM_21 - Unused function port Exchange Items |
|---|---|
| This rule generates a warning if a Function Port conveys an Exchange Item which is not allocated to any connected Functional Exchange. | |
|
|
DCOM_22 - Unsynchronized Function Port Exchange Items |
|---|---|
| This rule generates a warning if a Function Port and all its connected Functional Exchanges do not have the exact same Exchange Items. | |
|
|
DC_CL_01 Communication Link is delegated by one subcomponent at least |
|---|---|
| Model Validation shall check that Exchange Items referenced by a Communication Link is delegated to one or many subcomponents of the source Component. | |
|
|
DC_CL_02 Communication Link for a component is defined in its parent |
|---|---|
| Model Validation shall check that an Exchange Item referenced by a Communication Link from a SubComponent is also referenced by a Communication Link from owning Components. | |